Formal verification

Results: 829



#Item
21

Formal Modeling and Verification for Domain Validation and ACME Karthikeyan Bhargavan1 , Antoine Delignat-Lavaud2 and Nadim Kobeissi1 1 INRIA

Add to Reading List

Source URL: fc17.ifca.ai

- Date: 2017-03-17 11:53:56
    22

    Formal Verification and Security Group Research Interests Natasha Sharygina www.verify.inf.usi.ch Universit`a della Svizzera Italiana (USI)

    Add to Reading List

    Source URL: richmodels.epfl.ch

    - Date: 2009-10-29 08:10:42
      23

      End-to-End Verification of ARM Processors with ISA-Formal ® Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, and Ali Zaidi

      Add to Reading List

      Source URL: alastairreid.github.io

      - Date: 2018-03-24 22:15:38
        24

        Automatic Formal Verification for EPICS Automatic Formal Verification for EPICS

        Add to Reading List

        Source URL: homes.cs.washington.edu

        - Date: 2018-03-30 11:37:33
          25

          Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

          Add to Reading List

          Source URL: homes.cs.washington.edu

          - Date: 2017-06-23 18:20:16
            26

            ® End-to-End Verification of ARM Processors with ISA-Formal Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes,


            Add to Reading List

            Source URL: alastairreid.github.io

            - Date: 2018-03-24 22:15:38
              27

              Automatic Formal Verification for EPICS Automatic Formal Verification for EPICS

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2018-02-27 17:20:42
                28

                Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Frontmatter More information

                Add to Reading List

                Source URL: assets.cambridge.org

                - Date: 2008-10-20 04:00:11
                  29

                  Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Copyright Information More information

                  Add to Reading List

                  Source URL: assets.cambridge.org

                  - Date: 2008-10-20 04:00:11
                    UPDATE